# typed: true

case 0; in a, {"a":}; end # error: duplicate variable name a
